datasets==2.20.0
pydra-config
torch==2.3.0
vllm==0.4.3
tqdm==4.66.3
git+https://github.com/EleutherAI/lm-evaluation-harness.git@8b41f92
-e .
lean-dojo==1.1.2